@CHARSET "UTF-8";

.highlight {
	font-style: italic;
	background-color: #0f0;
}